VDict mobile



dynamic logic not found. Suggestions:

modal logic
neutrosophic logic
propositional logic
predicate logic
equational logic
EQLog
PDL
logic
Emitter Coupled Logic
Algebraic Logic Functional language